Eraser size

Description

The size (in pixels) of the eraser. This can be changed dynamically by getting a pointer to the Ink Control and setting the 'tools.eraser.size' property of the Ink control.